@book{alma994743673502466,
author = {Parrow, Joachim},
address = {Edinburgh},
booktitle = {Algebraic theories for name-passing calculi},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-262},
title = {Algebraic theories for name-passing calculi / by Joachim Parrow and Davide Sangiorgi.},
year = {1993},
}

@book{alma994193853502466,
author = {Hüttel, Hans.},
address = {Edinburgh},
booktitle = {Actions speak louder than words : proving bisimilarity for context-free processes},
keywords = {Logic, Symbolic and mathematical},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-145},
title = {Actions speak louder than words : proving bisimilarity for context-free processes / by Hans Hüttel and Colin Stirling.},
year = {1991},
}

@book{alma994193873502466,
author = {Moller, Faron.},
address = {Edinburgh},
booktitle = {Relating processes with respect to speed},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-143},
title = {Relating processes with respect to speed / by Faron Moller, Chris Tofts.},
year = {1991},
}

@book{alma994254903502466,
author = {Xue, Jingling.},
address = {Edinburgh},
booktitle = {The synthesis of control signals for one-dimensional systolic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-156},
title = {The synthesis of control signals for one-dimensional systolic arrays / by Jingling Xue, Christian Lengauer.},
year = {1991},
}

@book{alma994254883502466,
author = {Bellin, Gianluigi.},
address = {Edinburgh},
booktitle = {A decision procedure revisited : Notes on direct logic, linear logic and its implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-167},
title = {A decision procedure revisited : Notes on direct logic, linear logic and its implementation / by Gianluigi Bellin and Jussi Ketonen.},
year = {1991},
}

@book{alma994848343502466,
author = {Steffen, Martin.},
address = {Edinburgh},
booktitle = {Higher-order subtyping},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-280},
title = {Higher-order subtyping / by Martin Steffen, Benjamin Pierce.},
year = {1994},
}

@book{alma994848323502466,
author = {Victor, Björn.},
address = {Edinburgh},
booktitle = {The mobility workbench : a tool for the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-285},
title = {The mobility workbench : a tool for the [pi]-calculus / by Björn Victor and Faron Moller.},
year = {1994},
}

@book{alma994129333502466,
author = {Harland, James.},
address = {Edinburgh},
booktitle = {The uniform proof-theoretic foundation of linear logic programming},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-124},
title = {The uniform proof-theoretic foundation of linear logic programming / by James Harland and David Pym.},
year = {1990},
}

@book{alma994335793502466,
address = {Edinburgh},
booktitle = {An ideal model for an extended [lambda]- calculus with refinement},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-188},
title = {An ideal model for an extended [lambda]- calculus with refinement / by L. Levy [and others].},
year = {1991},
}

@book{alma994034553502466,
author = {Xue, Jingling.},
address = {Edinburgh},
booktitle = {On the description and development of one-dimensional systolic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-116},
title = {On the description and development of one-dimensional systolic arrays / by Jingling Xue and Christian Lengauer.},
year = {1990},
}

@book{alma994492563502466,
author = {Bellin, Gianluigi.},
address = {Edinburgh},
booktitle = {On the [Pi]-calculus and linear logic},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-232},
title = {On the [Pi]-calculus and linear logic / by G. Bellin, P.J. Scott.},
year = {1992},
}

@book{alma994492543502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {An abstract view of objects and subtyping : preliminary report},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-226},
title = {An abstract view of objects and subtyping : preliminary report / by M. Hofmann and Benjamin Pierce.},
year = {1992},
}

@book{alma994492003502466,
author = {Da Silva, Fabio.},
address = {Edinburgh},
booktitle = {Correctness proofs of compilers and debuggers : an overview of an approach based on structural operational semantics ; extended abstract of Ph.D. thesis},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-233},
title = {Correctness proofs of compilers and debuggers : an overview of an approach based on structural operational semantics ; extended abstract of Ph.D. thesis / by Fabio Q.B. da Silva.},
year = {1992},
}

@book{alma995322973502466,
author = {Frieze, Alan.},
address = {Edinburgh},
booktitle = {Improved approximation algorithms for MAX k-CUT and MAX BISECTION},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-292},
title = {Improved approximation algorithms for MAX k-CUT and MAX BISECTION / by Alan Frieze and Mark Jerrum.},
year = {1994},
}

@book{alma995322803502466,
address = {Edinburgh},
booktitle = {Generating and counting Hamilton cycles in random regular graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-313},
title = {Generating and counting Hamilton cycles in random regular graphs / by Alan Frieze [and others].},
year = {1994},
}

@book{alma995322903502466,
author = {Hofmann, Martin.},
address = {Edinburgh},
booktitle = {Positive subtyping},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-303},
title = {Positive subtyping / by Martin Hofmann and Benjamin Pierce.},
year = {1994},
}

@book{alma995322943502466,
author = {Esparza, Javier.},
address = {Edinburgh},
booktitle = {Trapping mutual exclusion in box calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-295},
title = {Trapping mutual exclusion in box calculus / by Javier Esparza and Glenn Bruns.},
year = {1994},
}

@book{alma995322823502466,
author = {Collins, Graham.},
address = {Edinburgh},
booktitle = {Supporting formal reasoning about Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-310},
title = {Supporting formal reasoning about Standard ML / by Graham Collins and Stephen Gilmore.},
year = {1994},
}

@book{alma995322923502466,
author = {Boreale, Michele.},
address = {Edinburgh},
booktitle = {A fully abstract semantics for causality in the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-94-297},
title = {A fully abstract semantics for causality in the [pi]-calculus / by Michele Boreale and Davide Sangiorgi.},
year = {1994},
}

@book{alma995955513502466,
author = {Gore, Vivek.},
address = {Edinburgh},
booktitle = {The Swendsen-Wang process does not always mix rapidly},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-349},
title = {The Swendsen-Wang process does not always mix rapidly / Vivek K. Gore and Mark R. Jerrum.},
year = {1996},
}

@book{alma994310103502466,
author = {Lengauer, Christian.},
address = {Edinburgh},
booktitle = {Recent developments in systolic design},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-176},
title = {Recent developments in systolic design / by Christian Lengauer, Jingling Xue.},
year = {1991},
}

@book{alma994310123502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {A mildly exponential algorithm for the permanent},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-179},
title = {A mildly exponential algorithm for the permanent / by Mark Jerrum, Umesh Vazirani.},
year = {1991},
}

@book{alma995327673502466,
author = {Gore, Vivek.},
address = {Edinburgh},
booktitle = {A quasi-polynomial-time algorithm for sampling words from a context-free language},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-326},
title = {A quasi-polynomial-time algorithm for sampling words from a context-free language / by Vivek Gore and Mark Jerrum.},
year = {1995},
}

@book{alma994220783502466,
author = {Sangiorgi, Davide.},
address = {Edinburgh},
booktitle = {An improved systolic array for string correction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-153},
title = {An improved systolic array for string correction / by Davide Sangiorgi, Christian Lengauer.},
year = {1991},
}

@book{alma994220763502466,
author = {Xue, Jingling.},
address = {Edinburgh},
booktitle = {The systematic derivation of control signals for systolic arrays},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-152},
title = {The systematic derivation of control signals for systolic arrays / by Jingling Xue and Christian Lengauer.},
year = {1991},
}

@book{alma994254913502466,
author = {Harland, James.},
address = {Edinburgh},
booktitle = {The uniform proof-theoretic foundation of linear logic programming : extended abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-168},
title = {The uniform proof-theoretic foundation of linear logic programming : extended abstract / by James Harland, David Pym.},
year = {1991},
}

@book{alma994635533502466,
author = {Da Silva, Fabio.},
address = {Edinburgh},
booktitle = {Observational equivalence and compiler correctness},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-240},
title = {Observational equivalence and compiler correctness / by Fabio Q.B. de Silva.},
year = {1993},
}

@book{alma994635563502466,
author = {Gordon, R.},
address = {Edinburgh},
booktitle = {Enrichment through variation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-254},
title = {Enrichment through variation / by R. Gordon, A.J. Power.},
year = {1993},
}

@book{alma994635503502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Simulated annealing for graph bisection},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-260},
title = {Simulated annealing for graph bisection / by Mark Jerrum, Gregory Sorkin.},
year = {1993},
}

@book{alma994635613502466,
author = {Harland, James.},
address = {Edinburgh},
booktitle = {A synopsis on the identification of linear logic programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-248},
title = {A synopsis on the identification of linear logic programming languages / by James Harland and David Pym.},
year = {1993},
}

@book{alma995962563502466,
author = {Lengauer, Christian.},
address = {Edinburgh},
booktitle = {A systolic array for pyramidal algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-114},
title = {A systolic array for pyramidal algorithms / by hristian Lengauer and Jingling Xue.},
year = {1990},
}

@book{alma993513773502466,
author = {Lev, Gavriela.},
address = {Edinburgh},
booktitle = {A fast parallel algorithm for routing in permutation networks},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 63-80},
title = {A fast parallel algorithm for routing in permutation networks / by Gavriela Lev, Nicholas Pippenger and Leslie G. Valiant.},
year = {1980},
}

@book{alma993513993502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {PS-ALGOL : an ALGOL with a persistent heap},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 94-81},
title = {PS-ALGOL : an ALGOL with a persistent heap / by Malcom P. Atkinson, Ken Chisholm and Paul Cockshott.},
year = {1981},
}

@book{alma993513973502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {The new Edinburgh persistent algorithmic language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 90-81},
title = {The new Edinburgh persistent algorithmic language / by Malcom P. Atkinson, Ken Chisholm and Paul Cockshott.},
year = {1981},
}

@book{alma993259163502466,
author = {Jensen, Finn V.},
address = {Edinburgh},
booktitle = {Recursively defined domains and their induction principles},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 176-84},
title = {Recursively defined domains and their induction principles / by Finn V. Jensen and Kim G. Larsen.},
year = {1984},
}

@book{alma993258893502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Random generation of combinatorial structures from a uniform distribution},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 187-85},
title = {Random generation of combinatorial structures from a uniform distribution / by Mark R. Jerrum, Leslie G. Valiant and Vijay V. Vazirani.},
year = {1985},
}

@inproceedings{alma994742133502466,
address = {Edinburgh},
keywords = {Machine theory},
language = {eng},
organization = {Workshop on process algebra and performance modelling (Proceedings), (1993) : Edinburgh)},
publisher = {University of Edinburgh},
series = {CSR- ; 26-93},
title = {Proceedings of workshop on process algebra and performance modelling : University of Edinburgh, May 21, 1993 / [edited by] Jane Hillston and Faron Moller.},
year = {1993},
}

@book{alma993513793502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {On observing nondeterminism and concurrency},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 69-80},
title = {On observing nondeterminism and concurrency / by Matthew Hennessy and Robin Milner.},
year = {1980},
}

@book{alma993514313502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Algebraic laws for nondeterminism and concurrency},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 133-83},
title = {Algebraic laws for nondeterminism and concurrency / by Matthew Hennessy and Robin Milner.},
year = {1983},
}

@book{alma993424023502466,
address = {Edinburgh},
booktitle = {A metalanguage for interactive proof in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 16-77},
title = {A metalanguage for interactive proof in LCF / by M. Gordon [and others].},
year = {1978 - 1977},
}

@book{alma992163773502466,
author = {Reynolds, John C.},
address = {Edinburgh},
booktitle = {Reasoning about arrays},
language = {eng},
publisher = {Edinburgh University},
series = {CSR- ; 6-77},
title = {Reasoning about arrays / John C. Reynolds.},
year = {1977},
}

@book{alma992163703502466,
author = {Reynolds, John C.},
address = {Edinburgh},
booktitle = {Programming with transition diagrams},
language = {eng},
publisher = {Edinburgh University},
series = {CSR- ; 4-77},
title = {Programming with transition diagrams / John C. Reynolds.},
year = {1977},
}

@book{alma9912580813502466,
author = {Apt, Krzysztof R.},
address = {Edinburgh},
booktitle = {Countable nondeterminism and random assignment},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 98-82},
title = {Countable nondeterminism and random assignment / by K.R. Apt and G. D. Plotkin.},
year = {1982},
}

@book{alma995597403502466,
author = {Cohn, Avra Jean.},
address = {Edinburgh},
booktitle = {On using Edinburgh LCF to prove the correctness of a parsing algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 113-82},
title = {On using Edinburgh LCF to prove the correctness of a parsing algorithm / by Avra Cohn and Robin Milner.},
year = {1982},
}

@book{alma9911204433502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Modal logics for mobile processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-136},
title = {Modal logics for mobile processes / by Robin Milner, Joachim Parrow and David Walker.},
year = {1991},
}

@book{alma995602943502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A logic for computable functions with reflexive and polymorphic types},
language = {eng},
publisher = {University of Edinburgh},
series = {LCF report ; no. 1},
title = {A logic for computable functions with reflexive and polymorphic types / by R. Milner, L. Morris and M. Newey.},
year = {1975},
}

@book{alma994470693502466,
author = {O'Hearn, Peter W. (Peter William)},
address = {Edinburgh},
booktitle = {Relational parametricity and local variables : preliminary report},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-223},
title = {Relational parametricity and local variables : preliminary report / by P.W. O'Hearn, R.D. Tennent.},
year = {1992},
}

@book{alma994422803502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {LEGO proof development system : user's manual},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-211},
title = {LEGO proof development system : user's manual / by Zhaohui Luo, Robert Pollack.},
year = {1992},
}

@book{alma994422873502466,
author = {Christensen, Søren.},
address = {Edinburgh},
booktitle = {Bisimulation equivalence is decidable for all context-free processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-218},
title = {Bisimulation equivalence is decidable for all context-free processes / by Søren Christensen, Hans Hüttel.},
year = {1992},
}

@book{alma994422843502466,
author = {Harland, James A.},
address = {Edinburgh},
booktitle = {On resolution in fragments of classical linear logic : extended abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-212},
title = {On resolution in fragments of classical linear logic : extended abstract / by J.A. Harland, D.J. Pym.},
year = {1992},
}